#include "types.h"
#include "user.h"

int
main(int argc, char *argv[])
{
  int binsem_id = binary_sem_create();
  int binsem2_id = binary_sem_create();

  
  //binary_sem_up(binsem_id);
 // binary_sem_down(binsem_id);
  printf(1, "-------before 1 bin semaphore.\n");
  binary_sem_down(binsem_id);
  printf(1, "------after 1 bin semaphore.\n");  


  binary_sem_down(binsem2_id);  
  printf(1, "------before 0 semaphore.\n");
  binary_sem_down(binsem2_id);  
  printf(1, "------after 0 semaphore.\n");    
  binary_sem_up(binsem2_id);
  
  //binary_sem_destroy(binsem_id);
  //binary_sem_destroy(binsem2_id);    

  exit();
}
